<html lang="en" dir="ltr">
<head>
  <meta charset="utf-8"/>
</head>

<body>
<div id="maindiv" style="padding-top:50px">Hello World!</div>
</body>
<script>

function recordingFinished() {
  dump(`RecReplaySendAsyncMessage Example__Finished`);
}
var number = 0;
function f() {
  number++;
  console.log("number: 1");
  number++;
  console.log("number: 2");
  number++;
  console.log("number: 3");
  window.setTimeout(recordingFinished);
}
window.setTimeout(f, 1);
</script>
</html>
